L’insuffisance du logicisme pour la question des fondements des mathématiques nous invite à la poser sous un point de vue épistémologique, en termes de rationalité et non plus seulement de logique, et à l’étendre aux sciences formalisées portant sur la nature, comme la physique, voire à la pensée scientifique en général. On doit tenir compte, dans tous les cas, des changements qui correspondent à des constructions conceptuelles : ce sont eux qui assurent en même temps, après coup, le bien-fondé (...) des théories qui les ont préparés, en sorte que si des fondements rationnels peuvent être obtenus, ce n’est, en règle générale, que « vers l’avant ». Ces changements posent également la question de leurs conditions de possibilités. La conclusion est qu’il faut admettre, pour que ces changements, et avec eux un accroissement de la connaissance, soient possibles, des transformations corrélatives dans les formes mêmes de la rationalité, mathématique, physique et, d’une manière générale, de la rationalité scientifique. (shrink)

Introduction. Il est bien connu que la correspondance de Curry-Howard permet d'associer un programme, sous la forme d'un λ-terme, à toute preuve intuitionniste, formalisée dans le calcul des prédicats du second ordre. Cette correspondance a été étendue, assez récemment, à la logique classique moyennant une extension convenable du λ-calcul. Chaque théorème formalisé en logique du second ordre correspond donc à une spécification de programme.Il se pose alors le problème, en général tout à fait non trivial, de trouver (...) la spécification associée à un théorème donné; autrement dit, de déterminer le comportement opérationnel commun aux λ-termes associés aux diverses démonstrations formelles du théorème considéré.Cette question est résolue ici pour le théorème de complétude de la logique classique.La première étape consiste à formaliser convenablement ce théorème en logique du second ordre. Ce travail est fait complètement dans la section 1. Il a comme sous-produit, peut-être inattendu, de montrer que ce théorème est prouvable en logique intuitionniste du second ordre. Ceci, toutefois, à condition d'introduire une légère variante de la notion de modèle, en admettant un modèle supplémentaire trivial, où toute formule est satisfaite.On notera, à ce sujet, que des preuves intuitionnistes du théorème de complétude de la logique intuitionniste, utilisant des variantes de la notion de modele de Kripke, ont été données par H. Friedman [7] et W. Veldman [8]. On remarquera également qu'un argument de G. Kreisel [2] montre que le théorème de complétude habituel de la logique intuitionniste n'a pas de preuve intuitionniste. (shrink)

La logique est une théorie normative du raisonnement, qui vise à caractériser la classe des arguments déductifs valides en déterminant si la conclusion est conséquence logique des prémisses. Mais, selon la définition sémantique devenue classique, la caractérisation de la relation de conséquence logique dépend elle-même de la caractérisation de la classe des mots logiques, ces mots qui, comme « non », « et », « tous » ou « certains » servent à articuler nos raisonnements. J’examine dans (...) cet article à quelles conditions une analyse conceptuelle des propriétés sémantiques des mots logiques permet d’éclairer et de compléter une analyse conceptuelle des propriétés distinctives de la relation de conséquence logique.Logic is a normative theory of reasoning, which aims at characterizing the class of deductively valid arguments by determining whether a given conclusion logically follows from certain premisses. According to the standard semantic definition, the characterization of the relation of logical consequence depends itself on a characterization of the class of the so-called logical constants, those words, such as « not », « and », « all » or « some » which provide the logical structure of our arguments. In this paper, I shall make precise the conditions under which a conceptual analysis of the semantic properties of logical constants can complete, and shed light upon, a conceptual analysis of the distinctive properties of logical consequence. (shrink)

Kim attribue aux émergentistes un modèle de « réduction logique » dans lequel la prédiction ou l’explication d’une occurrence de la propriété réduite ne requiert, outre des informations sur le niveau réducteur, que des principes logiques et mathématiques. Sur la base de cette interprétation, je conteste deux thèses de Kim. La première concerne la légitimité du modèle émergentiste de réduction. J’essaie de montrer, à l’aide de l’exemple de l’addition des masses, que l’adoption de la réduction logique rendrait irréductibles (...) certaines propriétés qui sont clairement réductibles. La deuxième est la thèse selon laquelle la réduction fonctionnelle correspond aux exigences émergentistes sur la réduction. Telle que Kim la caractérise, la réduction fonctionnelle comporte, outre une définition fonctionnelle de la propriété à réduire, l’indication des propriétés réalisatrices. Or cette information, qui correspond à la découverte d’une loi de correspondance , est empirique et non seulement logique.I read Kim as attributing to the emergentists a model of “logical reduction” in which the prediction or explanation of an occurrence of the reduced property requires, beyond information on the reducing level, only logical and mathematical principles. On the basis of this interpretation, I argue against two theses of Kim's. The first concerns the legitimacy of the emergentist model of reduction. I try to show by the example of the addition of masses that according to logical reduction certain properties which are clearly reducible come out as irreducible. The second is the thesis that functional reduction as construed by Kim satisfies the emergentist constraints on reduction. Functional reduction implies, over and above a functional definition of the reduced property, the indication of its realizers. But this information corresponding to the discovery of a bridge law is empirical and not only logical. (shrink)

Il y a un certain nombre d'années que je lis quotidiennement des articles ou des ouvrages concernant l'histoire des théories linguistiques. J'ai rarement éprouvé autant de plaisir qu'à la lecture du livre de Marc Dominicy. Je crois qu'il y a à cela une raison tres claire: c'est la façon de travailler de l'auteur. Pour lui, d'une part les théories formulées dans le passé sont descriptibles dans une langue moderne qui les rend comparables entre elles et avec les theories plus modernes, (...) d'autre part la pratique historiographique est cumulative. Le second point est sans doute dans son esprit une conséquence du premier, ou du moins il est la conséquence d'un axiome très fort assurant l'existence d'un principe de démarcation entre la science et la non-science. Je pense qu'on peutfaire l'économie du principe de démarcation, si on part du principe que l'historiographie doit être cumulative. Cela suppose en effet que l'historien discute des représentations de prédécesseurs, mais plus encore que les leurs comme les siennes soient discutables, et par conséquent qu'elles soient formulables dans un Iangage qui les rende comparables. Dans le livre de l'auteur cela se traduit doublement par: a) une bibliographic importante et l'attribution assez générale, dans le cours du texte, des thèses avancées à ceux qui les ont émises; b) une représentation formalisée de la théorie qu'il décrit. Il y a là une grande rigueur autant méthodologique que déontologique. (shrink)

Most internalist views hold that experience provides evidential justification for perceptual belief, although there are different ideas about how experience is able to provide this justification. Evidentialism holds that experiences can act as evidence for belief without having propositional content, while dogmatism holds that only an experience with the content that p can provide prima facie justification for the belief that p. I argue that both views succumb to a version of the well-known Sellarsian dilemma: it’s entirely unclear how an (...) experience could act as evidence for belief without having propositional content, and it is ad hoc to claim that experiences with propositional content can act as evidence for belief without explaining why these experiences need not be justified themselves. The way out of the dilemma lies in accepting the non-evidential nature of perceptual experience. (shrink)

In the parts I and II of this paper, the Author shows:1. how Leibniz’s arithmetico-intensional logical calculi of April 1679 can be completed and transformed in an intensional Boolean algebra (U, v, &:, -, e, -e) admitting, on the one hand, two different logical interpretations:li1: as a complete and consistent calculus of terms (properties) and syllogistic;li2: as a deontic first-order calculus and, on the other hand, two different arithmetical interpretations:ai1: as a numerical Boolean algebra (DM, lcm, ged, M/..., 1, M) (...) of all divisors of a natural number M;ai2: as a numerlcal Boolean algebra (BA, lcbc, gcbc, A-..., 0, A) of all binary components of a natural number A.Arithmetical representations of negation of a term x and of combination (intensional conjunction) and alternative (intensional disjunction) of two or more terms are respectively M/x, lcm (lower common multiple) and gcd (greatest common divisor) in the first Boolean algebra (ai1) and A-x, lcbc (lower common binary composite) and gcbc (greatest common binary component) in the second one (ai2).2. that, in this context, each possible world U of 2ⁿ elements (terms, acts) can be defined on the basis on n elements of U choosen as “saturated” (intensionally maximal, but possible) in U or, inversely, on the basis of n elements of U choosen as “primitive” (intensionally minimal, but not-universal) in U. In fact, each possible element of U can be defined now as an alternative of saturated elements of U, now as a combination of primitive (opposite to saturated) elements of U; all combinations of saturated elements of U being equivalent to the impossible element (-e, non-entity, resp. impossible act) of U and an alternatives of elements of U being equivalent to the universal element (e, entity, resp. possible act) of U.In the arithmetical representation of each possible world U, the maximal number M (for ai1) or A (for ai2) represents the impossible (non existent) element of U. Now, each possihle world defined by n saturated (resp. primitive) elements can be automatically enlarged (restricted) by the introduction (suppression) of m new (old) saturated (resp. primitive) elements, producing a new possible world U’ where m impossible elements (centaur, pegasus, syren, unicorn, etc.) of U become possible elements of U’ or inversely.After this first type of arithmetical representation of logical calculi, where the terms are -as in Leibniz’s 1679 calculi- represented by natural numbers and the propositions by equations (for universal resp. prescriptive) or inequations (for particular, resp. permissive), in the part III the Author presents a second type of arithmetical representation where propositions are represented by natural numbers and the valid (classical or deontic) syllogisms by true arithmetical relations between the numbers of premisses and the number of conclusion. Here the entire syllogistic adopts the form of a multiplication table wherea syllogism is valid if and only if the lcm (in ai1 ) or the lcbc (in ai2) of the characterlstic numbers of the premisses is a multiple (in ai1) or a binary composite (in ai2) of the characteristic number of the conclusion. (shrink)

Da Costa's paraconsistent systems of the series Cm (for finite m) (see [C1], [C2], and esp. [C3], pp. 237ff.) share important features with transitive logic, TL (which has been gone into in [P1] and [P2]), namely, they all coincide in that: (c1) they possess a strong negation, `¬', a conditional, `⊃', a conjunction, `∧', and a disjunction, `∨', with respect to which they are conservative extensions of CL or Classical Logic; (c2) they possess a non strong negation, `N' (notations are (...) different for systems C) which does not possess all properties of classical negation, but for which the following schemata are theorematic (I use the letters `p', `q', etc as schematic letters; my notational conventions are basically Church's: associativity leftwards; a dot stands for.. (shrink)

Au début du XXe siècle, Poincaré et Russell eurent un débat à propos de la nature du raisonnement mathématique. Poincaré, comme Kant, défendait l’idée que le raisonnement mathématique était de caractère non logique. Russell soutenait une conception contraire et critiquait Poincaré. Je défends ici l’idée que les critiques de Russell n’étaient pas fondées.In the early twentieth century, Poincare and Russell engaged in a discussion concerning the nature of mathematical reasoning. Poincare, like Kant, argued that mathematical reasoning was characteristically non-logical (...) in character. Russell argued for the contrary view and criticized Poincare. I argue that Russell’s criticisms were largely mistaken. (shrink)

Like Frege and unlike Kant, Peirce claims that mathematics is essentially deductive. And like Frege (as well as the algebraists following Boole), Peirce develops formal languages which express the formal content of statements so as to make it possible to carefully check deductive inferences between them. However, like Kant and unlike Frege, Peirce intends to account for the “synthetic”, i. e. informative and non-trivial, character of most mathematical statements as well as of the inferential links between them. Even more, Peirce, (...) like Kant, pays great attention to the semiotic role played by the construction and transformation of diagrams in the justification of these inferences and of these statements. On this point, Peirce clearly intends to extend and develop the Kantian theory of schematism. (shrink)

Un paralogisme semble commis dans la démonstration par Aristote du principe psychologique de non-contradiction : à partir d’un principe performatif d’assertion (dire quelque chose, c’est le croire), une approche moderne nous incline à prétendre qu’Aristote présuppose une transparence référentielle des contextes opaques de croyance afin de corréler les versions psychologique et logique. Nous tenterons de restituer la preuve du principe (I). Au moyen de la formalisation moderne, nous appliquerons cette explication à quelques paradoxes (II). Nous en conclurons la nature (...) de la non-contradiction (III), avant de proposer une "dissolution" syntaxique du problème d'opacité des contextes d'attitudes propositionnelles. Cette dissolution exprimera un certain scepticisme face aux approches formelles de l'intentionnalité. (shrink)

The paper wishes to investigate the way Giles of Rome thought about logic: as a discipline, as a method, through an examination of the powers of logic, but also as a teaching subject. It tries to illuminate his views on logical education, and how he may have acted in favour of the latter as an Augustinian leader. It first offers a general presentation of the logical productions, from the 1270s to 1291. It then addresses the topic of logical education from (...) two viewpoints: by a look taken at Giles’ views on logic in the De regimine principum, and by a quick survey of the history of the teaching of logic in the studia of the Augustinian order from the mid-1280s on. The last section is dedicated to the philosophy and anthropology of logic. It tries to enlighten the originality of Giles’ s position, as a new departure taken from traditional theories regarding the absolute necessity of logic as a science, as an art, and as the underlying logic of all sciences, itself included. Rather than essentially necessary for any kind of philosophical endeavour, logic is presented a need for men, due to the fallible nature of his potential intellect. Rather than a science, it is described as a method for science which doesn’t use its more powerful instrument, i.e. the theory of scientific syllogism, since it proceeds in a non-demonstrative manner in the theory of demonstration. Logic and metaphysics are compared as respectively under and above special sciences. The last paragraph deals with the problem of the powers of logic in the context of metaphysical knowledge. (shrink)

RésuméLa logique d'Avicenne est présentée dans plusieurs traités, dont le plus important est Al-Qiyās, qui est inclus dans son livre encyclopédique Al-Šifā’. Mais le traité intitulé Manṭiq al-mašriqiyyīn est celui qui, selon certains commentateurs, exprime la véritable logique d'Avicenne. On peut donc poser la question suivante : ce traité est-il en conflit avec Al-Qiyās et les autres écrits d'Avicenne? Dans cet article, nous répondrons à cette question en comparant les analyses d'Avicenne des propositions absolues, i. e. non modales. (...) Nous montrerons qu'il n'y a pas de différence radicale entre les deux traités sur ce sujet puisque la plupart des conditions ajoutées aux propositions absolues dans Al-Qiyās peuvent être trouvées dans Manṭiq al-mašriqiyyīn. Ces conditions sont les suivantes : “tant que S existe”, “tant qu'il est S”, “tant qu'il est P”, “parfois”, “à un moment déterminé”, “parfois mais pas en permanence”. Dans Manṭiq al-mašriqiyyīn, la ḍarūrīya contient, la lāzima contient, la muntašira contient, la mafrūḍa contient, la wujūdiyya contient, mais est abandonnée. La waqtiyya était évoquée dans Al-Qiyās mais sans être classifiée. L'analyse temporelle initiée dans Al-Qiyās est donc poursuivie et développée dans Manṭiq al-mašriqiyyīn, même si dans ce dernier elle est parfois confuse. (shrink)

There is a common approach to metaphysical disputes, which takes language as its starting point, and leads to a view about the range of acceptable metaphysical positions in any such dispute. I argue that this approach rests on accepting what I call the Strong Linguistic Thesis (SLT). In the metaphysical debate about time I argue that the new B-theory has rejected SLT, and for good reasons. The metaphysical debate about modality parallels the early metaphysical debate about time. I argue that (...) a position analogous to the new B-theory of time is available in the modal debate, and has some advantages over its rivals. (shrink)

Le De Corpore, publie pour la premiere fois en 1655, est non seulement l'oeuvre majeure de Hobbes en matiere de logique, de philosophie premiere et de physique, mais egalement un des plus grands textes metaphysiques du XVIIe siecle. On y trouve une theorie de la logique comme calcul dont l'un des elements decisifs est une critique du langage en vue de determiner exactement les modalites par lesquelles nous signifions nos pensees et designons les choses. Cette logique est (...) la condition d'une philosophie premiere sur laquelle repose une nouvelle conception du monde. La theorie physique dans sa totalite, ainsi que plusieurs aspects de l'ethique et de la politique, dependent d'une telle position metaphysique. (shrink)

Nous avons voulu exposé, à partir du dernier texte de Fichte intitulé « L’Initiation à la Vie Bienheureuse », ce qu’il conviendrait d’appeler la question de I’humanisme. « Quel est I’être de I’humanisme? » est ainsi la question directrice qui a accompagnée notre lecture du texte de 1812. Nous avons tenté d’indiquer à la fois la racine chrétienne et I’origine philosophico-rationnelle de cet humanisme, en y relevant d’une part les allusions à Saint Jean et en soulevant la notion centrale du (...) sacrifice, tout en maintenant la référence constante à la mouvance et à l’exigence scientifique du philosopher. En contre-poids à cette définition christiano-philosophique de I’humanisme, il nous a semblé necessaire de faire intervenir Lévinas, qui s’efforce de reformuler, ou de réinventer, face à cette tradition philosophique, la question de I’humanisme. Cette reformulation, cette réinvention, s’inscrivant manifestement dans la tradition hébraïque, tâche d’offrir une alternative à la logique sacrificielle de I’humanisme fichtéen, en orientant I’humain non plus vers sa « destination suprême en tant qu’humain » mais vers son « éveil - sans-destination, sans-vocation - à la responsabilité pour Autrui ».We wish to expose,from Fichte’s last text entitled “The way towards the blessed life”, what should be called the question of humanism. “What is the essence of humanism?” is thus the main question that guided our reading of the text from 1812. We have attempted to point out the Christian roots as weIl as the philosophical-rational origin of this humanism by gathering references to Saint John, and by raisingthe central notion of sacrifice, while constantly alluding to the mobility and the scientific exigency of the act of philosophizing. In order to counterbalance this Christian-philosophic definition of humanism, in seemed necessary to us to call in Levinas, who endeavours to reformulate, or to reinvent, in the face of this philosophical tradition, the question of humanism. This reformulation, this reinvention, manifestly in line with Hebraic tradition, seeks to offer an alternative to the sacrificial logic of the Fichtean humanism by orienting Humans no longer towards their “supreme destination qua Humans”, but towards their “awakening - with no destination, no calling - to the responsibility for the Other”. (shrink)

En associant philosophie et logique, cet ouvrage apporte un éclairage sur l'évolution de la logique de l'époque d'Aristote à nos jours. Il présente les différents formalismes des logiques non-standard en expliquant tout d'abord les besoins de ces logiques puis leurs descriptions syntaxiques et sémantiques. A l'aide d'exercices, il offre un panorama de ces logiques qui sont complexes à " utiliser " pour modéliser des connaissances permettant ainsi aux lecteurs d'appréhender ce domaine.

We investigate the applicability of Hegerfeldts arguments on Quantum nonlocality in Quantum Electrodynamics following the work of Prigogine, Pronko, Petrosky, Ordonez and Karpov. We demonstrate the appearance of nonlocal effects at the level of quantum states. We show, however that the expectation values of some observables spread causally. Therefore the measurement of the nonlocality is questionable. We investigate an approach to classical measurement and conclude that the classical measurement cannot detect the “acausal” effects of the non-locality.

A categorical, higher dimensional algebra and generalized topos framework for Łukasiewicz–Moisil Algebraic–Logic models of non-linear dynamics in complex functional genomes and cell interactomes is proposed. Łukasiewicz–Moisil Algebraic–Logic models of neural, genetic and neoplastic cell networks, as well as signaling pathways in cells are formulated in terms of non-linear dynamic systems with n-state components that allow for the generalization of previous logical models of both genetic activities and neural networks. An algebraic formulation of variable ‘next-state functions’ is extended to a Łukasiewicz–Moisil (...) Topos with an n-valued Łukasiewicz–Moisil Algebraic Logic subobject classifier description that represents non-random and non-linear network activities as well as their transformations in developmental processes and carcinogenesis. The unification of the theories of organismic sets, molecular sets and Robert Rosen’s (M,R)-systems is also considered here in terms of natural transformations of organismal structures which generate higher dimensional algebras based on consistent axioms, thus avoiding well known logical paradoxes occurring with sets. Quantum bionetworks, such as quantum neural nets and quantum genetic networks, are also discussed and their underlying, non-commutative quantum logics are considered in the context of an emerging Quantum Relational Biology. (shrink)

I show that standard dynamic approaches to the semantics of epistemic modals invalidate the classical laws of excluded middle and non-contradiction, as well as the law of epistemic non-contradiction. I argue that these facts pose a serious challenge.

John Wyclif’s rejection of the doctrine of transubstantiation has received a considerable amount of attention over the last six centuries. To this day scholars continue to reflect upon it, offering a variety of perspectives on Wyclif’s rationale. This study specifically considers the question in connection with Wyclif’s opposition to the more radical element in the fourteenth-century schools. Vehemently opposed to the reckless application of logical-grammatical methods which had led some to question of the truth of biblical propositions, Wyclif would insist (...) that within Scripture there exist no contradictions; its veracity can never be doubted. And most importantly, Christ himself is truthful; he cannot lie. Hence, when Christ spoke the words «Hoc est corpus meum», he was not positing a deception. (shrink)

Obligations to reduce one’s green house gas emissions appear to be difficult to justify prior to large-scale collective action because an individual’s emissions have virtually no impact on the environmental problem. However, I show that individuals’ emissions choices raise the question of whether or not they can be justified as fair use of what remains of a safe global emissions budget. This is true both before and after major mitigation efforts are in place. Nevertheless, it remains difficult to establish an (...) obligation to reduce personal emissions because it appears unlikely that governments will in fact maintain safe emissions budgets. The result, I claim, is that under current conditions we lack outcome, fairness, promotional, virtue or duty based grounds for seeing personal emissions reductions as morally obligatory. (shrink)

Logique et existenceDeleuze à propos des « conditions du réel »Pour Deleuze, l’un des problèmes fondamentaux d’une théorie de la pensée est de savoir comment la pensée peut quitter la sphère du possible pour penser le réel, c’est-àdire pour penser l’existence elle-même. La position du réel semble être hors du concept. Des pré-kantiens comme Leibniz approchaient ce problème par le biais de la distinction entre vérités d’essence et vérités d’existence, alors que des post-kantiens comme Maimon l’approchaient par la distinction (...) entre les conditions de l’expérience possible et celles de l’expérience réelle. La logique classique définit la sphère du possible par trois principes logiques – l’identité, la non-contradiction et le tiers-exclu – et la présente étude examine les trois grandes trajectoires qui, dans cette histoire de la philosophie, ont tenté d’utiliser l’un de ces trois principes classiques pour pénétrer l’existence ellemême : 1) Leibniz (et les pré-kantiens) cherchait à étendre le principe de d’identité àl’existence entière ; 2) Hegel (et les post-kantiens) cherchait à étendre le principe de non-contradiction à la totalité de l’expérience ; et 3) le groupe des penseurs appelés de manière assez large « existentialistes » cherchait à étendre le principe du tiers-exclu à la totalité de l’existence. La conclusion examine les raisons pour lesquelles Deleuze a été fasciné par chacune de ces tentatives philosophiques pour « penser l’existence », tout en pensant néanmoins qu’elles ont toutes échoué ; et pourquoi aussi il a fini par développer sa propre réponse au problème en faisant appel à un principe de différence.Logica e EsistenzaLe ‘Condizioni del reale’ in DeleuzePer Deleuze, uno dei problemi fondamentali per una teoria del pensiero è: come può il pensiero abbandonare la sfera del possibile per pensare il reale, ossia, pensare l’esistenza stessa? La posizione del reale sembra essere fuori dal concetto. Prekantiani come Leibniz affrontano questo problema in termini di distinzione fra verità dell’essenza e verità dell’esistenza, mentre post-kantiani come Maimon affrontano il problema in termini di distinzione fra condizioni dell’esperienza possibile e condizioni dell’esperienza reale. La logica classica ha definito la sfera del possibile secondo tre principi logici – identità, non-contraddizione, terzo escluso – e questo saggio analizza tre grandi ‘parabole’ della storia della filosofia che hanno tentato di usare uno di questi tre principi della logica per penetrare l’esistenza stessa: (1) Leibniz (e i pre-kantiani) hanno tentato di estendere il principio di identità a tutta l’esistenza; (2) Hegel (ei post-kantiani) hanno tentato di estendere il principio di non-contraddizione a tutta l’esistenza; (3) il gruppo di pensatori (solo approssimativamente legati fra loro) chiamati “esistenzialisti” ha tentato di estendere il principio del terzo escluso all’esistenza. La conclusione analizza sia le ragioni per le quali Deleuze era affascinato da ciascuno di questi tentativi filosofici di “pensare l’esistenza” nonostante fosse convinto che essi avessero fallito, sia i motivi per cui egli in conclusione traccia la propria risposta al problema facendo appello al principio della differenza. (shrink)

La logique classique, qui repose sur trois principes fondamentaux (d'identité, de non-contradiction et de tiers-exclu), a pu séduire par son efficacité orientée vers l'être, elle permet d'appréhender la cohérence du réel, donc de développer les savoirs. Pour autant, sa puissance s'avère limitée dans certaines situations des limitations internes des formalismes à l'apparition de nouveaux objets paradoxaux, la science du XXe siècle a été confrontée à une crise de ses fondements dont elle n'est pas encore sortie. Or, s'affranchir de ce (...) qui vient en nous entraver la pensée a été un enjeu pour des courants soucieux de fonder leur rigueur démonstrative sur un au-delà de l'être. Dans la lignée de l'hénologie néoplatonicienne, ces modes d'explication ont néanmoins souvent été jugés irrationnels, mystiques ou simplement absurdes. À l'aide des logiques non standards contemporaines, c'est une étude systémique de ces positions qui est ici envisagée à travers la critique de l'hégémonie des trois grands principes logiques grâce à la logique intuitionniste, il devient possible de construire rigoureusement la notion de néant suressentiel; grâce aux logiques paraconsistantes, les contradictions et les paradoxes qu'une telle dialectique engendre perdent leur caractère irrationnel; enfin, grâce aux traditions logiques indiennes et japonaises, le principe d'identité peut lui-même être questionné. Cette remise en cause radicale de nos certitudes les mieux ancrées permet ultimement de dégager de nouvelles perspectives à la pensée logique."--Page 4 of cover. (shrink)

We consider the modal logic of non-contingency in a general setting, without making special assumptions about the accessibility relation. The basic logic in this setting is axiomatized, and some of its extensions are discussed, with special attention to the expressive weakness of the language whose sole modal primitive is non-contingency , by comparison with the usual language based on necessity.

The article is devoted to the memory of Vyacheslav Semenovich Stepin and Nikita Nikolaevich Moiseev, whose multifaceted work was integrally focused on philosophical, interdisciplinary and transdisciplinary research of the key ideas and principles of universal human-dimensional evolutionism. Other remarkable Russian scientists V.I. Vernadsky, S.P. Kurdyumov, S.P. Kapitsa, D.S. Chernavsky worked in the same tradition of universal evolutionism. While V.I. Vernadsky and N.N. Moiseev had been the originators of that scientific approach, V.S. Stepin provided philosophical foundations for the ideas of those (...) remarkable scientists and thinkers. The scientific legacy of V.S. Stepin and N.N. Moiseev maintained the formation of a new quality of research into the philosophy of science and technology as well as into the philosophy of culture. This new quality is multidimensional and it is difficult to define unambiguously, but we presume the formation of those areas of philosophical knowledge as constructively oriented languages of interdisciplinary and transdisciplinary co-participation of philosophy in the convergent-evolutionary development of scientific knowledge in general. In this regard, attention is paid to V.S. Stepin’s affirmations about non-classical nature of modern social and humanitarian knowledge. Quantum mechanics teaches us that the reality revealed through it is a hybrid construct, or symbiosis, of both mean and object of cognition. Therefore, the very act of cognitive observation constructs quantum reality. Thus, it is very close to the process of cognition in modern sociology and psychology. V.S. Stepin insisted that these principles are applicable to all complex selfdeveloping systems, and such are all “human-dimensional” objects of modern humanities. In all the phases of homeostasis changes, or crises, there is necessarily a share of chaos, instability, uncertainty in the selection process of future development scenarios, which is ineliminably affected by our observation. Therefore, a cognitive observer in the humanities should be considered as a concept of post-non-classical rationality, that is as an observer of complexity. (shrink)

Open peer commentary on the article “Towards a PL-Metaphysics of Perception: In Search of the Metaphysical Roots of Constructivism” by Konrad Werner. Upshot: In his target article, Werner proposes a metaphysical foundation for a radical constructivist epistemology that is nonetheless claimed to reconcile constructivism with some sort of realism. While acknowledging his success in demonstrating that constructivism without an external/internal dualism is suitable for his purposes, I shall argue that rejecting a distinction between epistemological and ontological issues makes it questionable (...) whether PL-metaphysics can make constructivism compatible with realism. (shrink)

_Purpose_ of the research is to study the originality of interpretation of death in the lyrics of Ukrainian diaspora in Canada in the context of the opposition "foreign land – motherland", based on its existential development in philosophical anthropology and culture of the last two centuries. Its implementation presupposes, first of all, analysis of the forms of development and disclosure of the death motif by figurative and artistic means. _Theoretical basis__._ The author uses the well-founded tradition of interpreting the death (...) motif in philosophical literature of the last centuries, i.e. non-classical and modern philosophical thought. _Originality._ The present study is an attempt at systematization of the notions of death in Ukrainian poetry in Canada in the second half of the 20th century. It is based on the study of artistic texts and the worldview of Ukrainian emigrants. Appeal to the fiction of the Ukrainian Diaspora allows illustrating the originality of philosophical understanding of death in the context of the national culture. _Conclusions_. Reference to Ukrainian-Canadian poetry allows expanding the space of philosophical understanding of death in the form of figurative fiction. Concretizing the character of their interpretation of the motif of death, it is necessary to focus attention on its two basic forms of manifestation: existential, associated with living abroad, and sacrificial death for the benefit of the homeland. Thus, the motif of death occupies a significant place in the lyrics of representatives of the Ukrainian diaspora. The concept of human death is closely connected with the concept of life, which is concretized through their meaningful comprehension. This is a matter of interpretation of despair and loneliness motifs, as well as the illumination of the images of a foreign land, which is one of the features of emigrant literature in general. (shrink)

Le but principal de la communication est d’esquisser les traits essentiels de la méthode appliquée dans les sciences déductives.1. A quoi tend la méthode déductive? Termes primitifs et définis ; axiomes et théorèmes. Les sciences antérieures à une science donnée. La méthode déductive considérée comme propriété caractéristique des mathématiques.2. Liberté dans le choix des termes primitifs et des axiomes ; notion d’équivalence de deux systèmes de termes ou de propositions.Postulats d’indépendance des termes primitifs et des axiomes.3. Postulats de la formalisation (...) des définitions et des démonstrations. Règles de définition et de démonstration ; les démonstrations complètes ; les sciences déductives formalisées. Le rôle de la logique mathématique au point de vue des nouvelles exigences méthodologiques.4. Les notions de science non-contradictoire et complète. L’importance théorique de ces notions ; leur rapport avec le problème de la vérité des mathématiques. Pourquoi les notions en question n’exercent pas en pratique une grande influence sur la construction des sciences mathématiques.5. Certaines propriétés des sciences mathématiques découlant d’une application conséquente de la méthode déductive.ion du sens des termes primitifs dans la construction de la science. Modèles et interprétations du système d’axiomes. Concept de système formel. Valeur de la méthode déductive du point de vue de l’économie de la pensée. (shrink)

We show that non-isolated from below 2-c.e. Q -degrees are dense in the structure of c.e. Q -degrees. We construct a 2-c.e. Q -degree, which can't be isolated from below not only by c.e. Q -degrees, but by any Q -degree. We also prove that below any c.e. Q -degree there is a 2-c.e. Q -degree, which is non-isolated from below and from above.

This paper seeks to bring cosmopsychism, a contemporary metaphysical position on the nature of mind and consciousness, into contact with the philosophical tradition of Hinduism. Behind this exercise lies the motivation to examine how ideas developed within this rich tradition could aid in the effort to think constructively and creatively about issues which occupy the contemporary literature on panpsychism, and in particular cosmopsychism. I argue that, within the Hindu philosophical corpus, contemporary cosmopsychism finds its most natural allies in two world-affirming (...) views: Kashmir Śaivism, and the integral Advaita of Sri Aurobindo. After discussing these views, and their affinities to cosmopsychism, I argue that one important potential contributions of such perspectives lies in the fact that they present us with a form of priority monism little developed within contemporary philosophy. I call this neglected perspective generative monism, and I offer a preliminary exposition of the view and of its explanatory potential. (shrink)